56 research outputs found
On reducibility of n-ary quasigroups
An -ary operation is called an -ary quasigroup of order
if in the equation knowledge of any elements
of , ..., uniquely specifies the remaining one. is permutably
reducible if
where
and are -ary and -ary quasigroups, is a permutation, and
. An -ary quasigroup is called a retract of if it can be
obtained from or one of its inverses by fixing arguments. We prove
that if the maximum arity of a permutably irreducible retract of an -ary
quasigroup belongs to , then is permutably reducible.
Keywords: n-ary quasigroups, retracts, reducibility, distance 2 MDS codes,
latin hypercubesComment: 13 pages; presented at ACCT'2004 v2: revised; bibliography updated; 2
appendixe
n-Ary quasigroups of order 4
We characterize the set of all N-ary quasigroups of order 4: every N-ary
quasigroup of order 4 is permutably reducible or semilinear. Permutable
reducibility means that an N-ary quasigroup can be represented as a composition
of K-ary and (N-K+1)-ary quasigroups for some K from 2 to N-1, where the order
of arguments in the representation can differ from the original order. The set
of semilinear N-ary quasigroups has a characterization in terms of Boolean
functions. Keywords: Latin hypercube, n-ary quasigroup, reducibilityComment: 10pp. V2: revise
On the binary codes with parameters of triply-shortened 1-perfect codes
We study properties of binary codes with parameters close to the parameters
of 1-perfect codes. An arbitrary binary code ,
i.e., a code with parameters of a triply-shortened extended Hamming code, is a
cell of an equitable partition of the -cube into six cells. An arbitrary
binary code , i.e., a code with parameters of a
triply-shortened Hamming code, is a cell of an equitable family (but not a
partition) from six cells. As a corollary, the codes and are completely
semiregular; i.e., the weight distribution of such a code depends only on the
minimal and maximal codeword weights and the code parameters. Moreover, if
is self-complementary, then it is completely regular. As an intermediate
result, we prove, in terms of distance distributions, a general criterion for a
partition of the vertices of a graph (from rather general class of graphs,
including the distance-regular graphs) to be equitable. Keywords: 1-perfect
code; triply-shortened 1-perfect code; equitable partition; perfect coloring;
weight distribution; distance distributionComment: 12 page
On unbalanced Boolean functions with best correlation immunity
It is known that the order of correlation immunity of a nonconstant
unbalanced Boolean function in variables cannot exceed ; moreover,
it is if and only if the function corresponds to an equitable
-partition of the -cube with an eigenvalue of the quotient matrix.
The known series of such functions have proportion , , or of
the number of ones and zeros. We prove that if a nonconstant unbalanced Boolean
function attains the correlation-immunity bound and has ratio of the
number of ones and zeros, then is divisible by . In particular, this
proves the nonexistence of equitable partitions for an infinite series of
putative quotient matrices. We also establish that there are exactly
equivalence classes of the equitable partitions of the -cube with quotient
matrix and classes, with . These
parameters correspond to the Boolean functions in variables with
correlation immunity and proportion and , respectively (the case
remains unsolved). This also implies the characterization of the
orthogonal arrays OA and OA.Comment: v3: final; title changed; revised; OA(512,11,2,6) discusse
- …